Verification of digital and hybrid systems
- Författare
- (Edited by M. Kemal Inan, Robert P. Kurshan)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | c2000 | Tyskland, Berlin, New York | xviii, 405 sidor. : ill. 24 cm | 3-540-65595-6 |